00100	PERMUT U ← IF NULL U THEN LIST NIL ELSE 
00137	MAPAPP(U,*FUNCTION(λW;MAPCAR(PERMUT DEL(W,U)
00175	,*FUNCTION(λV;W.V))));
00200	
00300	MAPAPP(U,F)←IF NULL U THEN NIL ELSE APPEND(F CAR U,MAPAPP(CDR U,F));
00400	
00500	MAPDEL(U,P) ← IF NULL U THEN NIL ELSE IF P CAR U THEN MAPDEL(CDR U,P)
00600		ELSE CAR U . MAPDEL(CDR U,P);
00700	
00800	DEL2(X,V) ← IF NULL V THEN NIL ELSE IF CAR V EQ X THEN CDR V
00900		ELSE CAR U . DEL2(X,CDR U);
01000	
01100	DEL(X,V) ← DEL2(X,V);